function Change(id) {
var OldColor='rgb(113,114,156)';
var a=document.getElementsByTagName("a");
for(var i=0;i<a.length;i++)
{
if(a[i].id==id)
a[i].style.color='rgb(255,125,1)'; 
else
a[i].style.color=OldColor;
}
}